$f$$^{\mbox{\scriptsize $n$}}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$primrec($n$;$\lambda$$x$.$x$;$\lambda$$i$,$g$. $f$ o $g$)